Nuprl Definition : ma-single-bframe 0,22
k sends only on links in L
== mk-ma(;
== ;
== ;
== ;
== ;
== ;
== ;
== ;
== ;
== k : L;
== ) 
latex

Definitionsmk-ma, x : v,
FDL editor aliasesma-single-bframe

origin